Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets

Dans cet article, on introduit le problème de synthèse de contrôleurs optimaux des systèmes à événements discrets et nous proposons une procédure pour la résolution de ce problème, dans le cas où le procédé et les spécifications sont représentés par des automates à états finis et présentant une complexité croissante. Nous allons souscrire à la méthodologie de synthèse selon la théorie de la commande par supervision initiée par Ramadge et Wonham. Par une illustration sur un exemple simple, puis sur un modèle offrant une complexité élevée. Dans cet esprit, les langages, méthodes et outils de développement mis en œuvre pour les spécifier et les développer doivent s’élever à un niveau de qualité permettant de satisfaire les exigences exprimées. Face à cette situation, nous contribuons dans ce travail à systématiser l’emploi des méthodes formelles dans les cycles de développement des systèmes en l’outillant et l’adaptant au langage UML (Unified Modeling Language), qui est le plus exploité dans les projets industriels.